(declare-fun i0 () Int)
(declare-fun i1 () Int)
(declare-fun i6 () Int)
(declare-fun arr0 () (Array Bool Int))
(declare-fun arr1 () (Array Int (Array Bool Int)))
(declare-fun i9 () Int)
(assert (and (= 3 (- i6 i0)) (= (- i1) (- i6 i0)) (= (- i6 i0) (* i1 (mod i9 2)))))
(assert (= arr1 (store arr1 0 arr0)))
(check-sat)
